three-value logic

三值逻辑